The Cognitive Development of Proof: Is Mathematical Proof For All or For Some?
نویسنده
چکیده
Proof is considered a foundational topic in mathematics. Yet, it is often difficult to teach. In this paper, I suggest that different forms of proof are appropriate in different contexts, dependent on the particular forms of representation available to the individual, and that these forms become available at different stages of cognitive development. For a young child, proof may be by way of a physical demonstration, long before sophisticated use of the verbal proofs of euclidean geometry can be introduced successfully to a subset of the school population. Later still, formal proof from axioms involves even greater difficulties that make it appropriate for a few, but impenetrable to many. At this formal stage of development, I will identify two different strategies that students adopt to come to terms with formal definition and deduction. Either strategy may be successful, but both are cognitively demanding and prove difficult for many to achieve. This leads to the observation that formal proof is appropriate only for some, that some forms of proof may be appropriate for more, and that, if one allows the simpler representations of proof such as those using physical demonstrations, perhaps some forms of proof are appropriate for (almost) all.
منابع مشابه
Mathematical Proof for the Minimized Stray Fields in Transformers Using Auxiliary Windings Based on State Equations for Evaluation of FEM Results
Stray magnetic field is one of the main issues in design of transformers, since it causes non-ideal behavior of transformers. One of the techniques is usually adopted to mitigate the unwanted stray magnetic field is the use of auxiliary windings creating a magnetic field opposite to the incident one giving rise to the reduction of the total magnetic fields. This paper presents a new mathematica...
متن کاملA new proof for the Banach-Zarecki theorem: A light on integrability and continuity
To demonstrate more visibly the close relation between thecontinuity and integrability, a new proof for the Banach-Zareckitheorem is presented on the basis of the Radon-Nikodym theoremwhich emphasizes on measure-type properties of the Lebesgueintegral. The Banach-Zarecki theorem says that a real-valuedfunction $F$ is absolutely continuous on a finite closed intervalif and only if it is continuo...
متن کاملPartial proof of Graham Higman's conjecture related to coset diagrams
Graham Higman has defined coset diagrams for PSL(2,ℤ). These diagrams are composed of fragments, and the fragments are further composed of two or more circuits. Q. Mushtaq has proved in 1983 that existence of a certain fragment γ of a coset diagram in a coset diagram is a polynomial f in ℤ[z]. Higman has conjectured that, the polynomials related to the fragments are monic and for a fixed degree...
متن کاملA NEW PROOF OF THE PERSISTENCE PROPERTY FOR IDEALS IN DEDEKIND RINGS AND PR¨UFER DOMAINS
In this paper, by using elementary tools of commutative algebra,we prove the persistence property for two especial classes of rings. In fact, thispaper has two main sections. In the first main section, we let R be a Dedekindring and I be a proper ideal of R. We prove that if I1, . . . , In are non-zeroproper ideals of R, then Ass1(Ik11 . . . Iknn ) = Ass1(Ik11 ) [ · · · [ Ass1(Iknn )for all k1,...
متن کاملSome lower bounds for the $L$-intersection number of graphs
For a set of non-negative integers~$L$, the $L$-intersection number of a graph is the smallest number~$l$ for which there is an assignment of subsets $A_v subseteq {1,dots, l}$ to vertices $v$, such that every two vertices $u,v$ are adjacent if and only if $|A_u cap A_v|in L$. The bipartite $L$-intersection number is defined similarly when the conditions are considered only for the ver...
متن کاملGroups with one conjugacy class of non-normal subgroups - a short proof
For a finite group $G$ let $nu(G)$ denote the number of conjugacy classes of non-normal subgroups of $G$. We give a short proof of a theorem of Brandl, which classifies finite groups with $nu(G)=1$.
متن کامل